ma{-}ef{-}const($M$;$k$;$x$;$s$;$v$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$E$ != ($M$.2.2.2.2).1($<$$k$, $x$$>$) $\Rightarrow$ constant\_function($E$($s$,$v$);$\mathbb{Q}$;$M$.ds($x$))